1. A theory of formal deducibility
المؤلف: Curry, Haskell Brooks
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
1
.
N87
no
.
6
2. Combinatory logic
المؤلف: / Haskell B. Curry, Robert Feys; With two sections by William Cr aig
المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع: Combinatory logic
رده :
511
.
3
C976
3. Combinatory logic
المؤلف: [by] Haskell B. Curry [and] Robert Feys. With two sections by William Craig.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Combinatory logic.,Logique combinatoire.,Combinatory logic.,Combinatory logic.,Logic, Symbolic and mathematical.,Logica Matematica.,Logique combinatoire.
رده :
QA9
.
5
.
C87
4. Combinatory logic
پدیدآورنده : Curry, Haskell Brooks
موضوع : ، Combinatory logic
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
5. Foundations of mathematical logic
المؤلف: Curry
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Logic, Symbolic and mathematical
رده :
QA
9
.
C85
6. Foundations of mathematical logic
المؤلف: Haskell B. Curry,Title
المکتبة: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع: Logic, Symbolic and mathematical
رده :
QA
.
C85
9
1977
7. Foundations of mathematical logic
المؤلف:
المکتبة: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع:
رده :
QA9
.
C85
8. Foundations of mathematical logic
المؤلف: Curry, Haskell Brooks, 0091-
المکتبة: (طهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
C97
9. Foundations of mathematical logic
المؤلف: CURRY,HASKELL BROOKS
المکتبة: (طهران)
موضوع: LOGIC,SYMBOLIC & MATHEMATICAL
رده :
QA
9
.
C85
10. Foundations of mathematical logic
المؤلف: Curry, Haskell Brooks
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
C85
1977
11. Foundations of mathematical logic /
المؤلف: Haskell B. Curry.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.
رده :
QA9
.
C85
1977
12. Foundations of mathematical logic
المؤلف: Curry, Haskell B. )Haskell Brooks(, 0091-2891
المکتبة: كتابخانه تخصصي لاتين پژوهشگاه علوم و فرهنگ اسلامي (دفتر تبليغات اسلامي حوزه علمیه قم) (قم)
موضوع: ، Logic, Symbolic and mathematical.
رده :
BC
135
.
C8F6
13. Outlines of a formalist philosophy of mathematics
المؤلف:
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Mathematics-- Philosophy.
14. Outlines of a formalist philosophy of mathematics
المؤلف: Curry, Haskell Brooks
المکتبة: (طهران)
موضوع: ، Mathematics -- Philosophy
رده :
QA
9
.
C8
15. Outlines of a formalist philosophy of mathematics
المؤلف: Curry, Haskell Brooks
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Mathematics - Philosophy
رده :
QA
8
.
4
.
C87
